#ifndef _failed_h_INCLUDED
#define _failed_h_INCLUDED

struct kissat;

void
kissat_mab_failed_literal_probing(struct kissat*);

#endif
